Date: Wed, 08 Jan 1997 21:01:05 GMT
Server: NCSA/1.4.2
Content-type: text/html

<html>
<head>
<title> Functional Languages</title>

</head>
<body>
<h1> Functional Languages</h1>

 <li><a href="./miranda-notes1.txt"><b>Miranda Notes:</b></a>

Lecture notes for Miranda.<p>

 <li><a href="./functional-evaluation.html"><b>Evaluation in Functional 
  Languages:</b></a>

Lecture notes on normal and applicative order evaluation.  (For text 
version of this document, click <a href="./functional-evaluation.txt">here</a>)
<p>

 <li><a href="./functional-implementation.html"><b>Implementation of Functional 
  Languages:</b></a>

Lecture notes on the SK-machine and implementation techniques for
functional languages.  (For text version of this document, click <a
href="./functional-implementation.txt">here</a>)<p>

 <li><a href="./functional-io.txt"><b>I/O in Functional Languages:</b></a>

Lecture notes on input/output in functional languages (streams
and continuations).<p>

 <li><a href="infinite/infinite.html"><b>Infinite Data Structures</b></a>

Examples of interesting things you can do with infinite data structures in 
Miranda.<p>


 <li><a href="http://www.cs.cmu.edu:8001/afs/cs.cmu.edu/project/fox/mosaic/HomePage.html"><b>Fox Project:</b></a>

For info about the CMU Fox Project.  Tons of links to tech reports, related
papers, and info about Standard ML.<p>

</body>
</html>


